退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:sDL配置文件:形式语义和工具支持
R. Grammes; R. Gotzhein;
机译:SDL-2000的形式语义:现状和观点
机译:关于使用软件工具教授正式语义的一些创新
机译:从形式语义上进行切片:Chisel-通用程序切片的工具
机译:SDL配置文件-形式语义和工具支持
机译:Crowdre:一种支持众包需求获取的语义工具
机译:LORD:表型-基因型语义整合的生物医学数据工具可支持健康信息系统中的罕见疾病诊断编码
机译:SDL配置文件-定义和形式提取
机译:通过定义mpEG-7配置文件的正式语义来启用多媒体元数据互操作性;信息系统很好
机译:管状异型材组装机门框,具有用于机械锁定型材的楔形件,以及安装在旋转支架上的工具,沿着一条弯曲的路径从一个工具到另一个工具
机译:用于制造窗框型材的机床具有带有支撑件的支撑型材,以将工件定位在机床上
机译:用于致动装置的冷轧型材辊的轧制工具,具有圆柱形/圆锥形的环形通道,该环形通道布置成螺纹型材和型材之间的支撑部分
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。